dfa transition table